echo "load prolog.maude"
echo "fmod TEST-$1 is"
echo "  including INTERFACE ."
echo "  op $1 : -> Query ."
echo "  eq $1 = ("
./preprocess $1 "$2"
echo " "$3 "  ) ."
echo "endfm"
echo "red solve($1) ."
echo "quit"

